Demonstrating the different roles that logic plays in the disciplines of computer science, mathematics, and philosophy, this concise undergraduate textbook covers select topics from three different areas of logic: proof theory, computability theory, and nonclassical logic. The book balances accessibility, breadth, and rigor, and is designed so that its materials will fit into a single semester. Its distinctive presentation of traditional logic material will enhance readers' capabilities and mathematical maturity. The proof theory portion presents classical propositional logic and first-order logic (...) using a computer-oriented (resolution) formal system. Linear resolution and its connection to the programming language Prolog are also treated. The computability component offers a machine model and mathematical model for computation, proves the equivalence of the two approaches, and includes famous decision problems unsolvable by an algorithm. The section on nonclassical logic discusses the shortcomings of classical logic in its treatment of implication and an alternate approach that improves upon it: Anderson and Belnap's relevance logic. Applications are included in each section. The material on a four-valued semantics for relevance logic is presented in textbook form for the first time. Aimed at upper-level undergraduates of moderate analytical background, Three Views of Logic will be useful in a variety of classroom settings. Gives an exceptionally broad view of logic. Treats traditional logic in a modern format. Presents relevance logic with applications. Provides an ideal text for a variety of one-semester upper-level undergraduate courses. (shrink)

Reviews evidence which suggests that there may be little or no direct introspective access to higher order cognitive processes. Ss are sometimes unaware of the existence of a stimulus that importantly influenced a response, unaware of the existence of the response, and unaware that the stimulus has affected the response. It is proposed that when people attempt to report on their cognitive processes, that is, on the processes mediating the effects of a stimulus on a response, they do not do (...) so on the basis of any true introspection. Instead, their reports are based on a priori, implicit causal theories, or judgments about the extent to which a particular stimulus is a plausible cause of a given response. This suggests that though people may not be able to observe directly their cognitive processes, they will sometimes be able to report accurately about them. Accurate reports will occur when influential stimuli are salient and are plausible causes of the responses they produce, and will not occur when stimuli are not salient or are not plausible causes. (shrink)

The authors find East Asians to be holistic, attending to the entire field and assigning causality to it, making relatively little use of categories and formal logic, and relying on "dialectical" reasoning, whereas Westerners, are more analytic, paying attention primarily to the object and the categories to which it belongs and using rules, including formal logic, to understand its behavior. The 2 types of cognitive processes are embedded in different naive metaphysical systems and tacit epistemologies. The authors speculate that the (...) origin of these differences is traceable to markedly different social systems. The theory and the evidence presented call into question long-held assumptions about basic cognitive processes and even about the appropriateness of the process–content distinction. (shrink)

This book examines two questions: Do people make use of abstract rules such as logical and statistical rules when making inferences in everyday life? Can such abstract rules be changed by training? Contrary to the spirit of reductionist theories from behaviorism to connectionism, there is ample evidence that people do make use of abstract rules of inference -- including rules of logic, statistics, causal deduction, and cost-benefit analysis. Such rules, moreover, are easily alterable by instruction as it occurs in classrooms (...) and in brief laboratory training sessions. The fact that purely formal training can alter them and that those taught in one content domain can "escape" to a quite different domain for which they are also highly applicable shows that the rules are highly abstract. The major implication for cognitive science is that people are capable of operating with abstract rules even for concrete, mundane tasks; therefore, any realistic model of human inferential capacity must reflect this fact. The major implication for education is that people can be far more broadly influenced by training than is generally supposed. At high levels of formality and abstraction, relatively brief training can alter the nature of problem-solving for an infinite number of content domains. (shrink)

Staged 2 different videotaped interviews with the same individual—a college instructor who spoke English with a European accent. In one of the interviews the instructor was warm and friendly, in the other, cold and distant. 118 undergraduates were asked to evaluate the instructor. Ss who saw the warm instructor rated his appearance, mannerisms, and accent as appealing, whereas those who saw the cold instructor rated these attributes as irritating. Results indicate that global evaluations of a person can induce altered evaluations (...) of the person's attributes, even when there is sufficient information to allow for independent assessments of them. Furthermore, Ss were unaware of this influence of global evaluations on ratings of attributes. In fact, Ss who saw the cold instructor actually believed that the direction of influence was opposite to the true direction. They reported that their dislike of the instructor had no effect on their rating of his attributes but that their dislike of his attributes had lowered their global evaluations of him. (shrink)

A long-standing challenge to evolutionary theory has been whether it can explain the origin of complex organismal features. We examined this issue using digital organisms—computer programs that self-replicate, mutate, compete and evolve. Populations of digital organisms often evolved the ability to perform complex logic functions requiring the coordinated execution of many genomic instructions. Complex functions evolved by building on simpler functions that had evolved earlier, provided that these were also selectively favoured. However, no particular intermediate stage was essential for evolving (...) complex functions. The first genotypes able to perform complex functions differed from their non-performing parents by only one or two mutations, but differed from the ancestor by many mutations that were also crucial to the new functions. In some cases, mutations that were deleterious when they appeared served as stepping-stones in the evolution of complex features. These findings show how complex functions can originate by random mutation and natural selection. (shrink)

Richard Wolin, in his article 'Nazism and the Complicities of Hans-Georg Gadamer: Untruth and Method' ( New Republic , 15 May 2000, pp. 36-45), wrongly accuses Gadamer of being 'in complicity' with the Nazis. The present article in reply was rejected by the New Republic , but is printed here to show that Wolin in his article is misinformed and unfair. First, Wolin makes elementary factual errors, such as stating that Gadamer was born in Breslau instead of Marburg. He (...) relies on a highly questionable source, Teresa Orozco, as 'definitive'. He argues often by misconstruing the evidence and guilt by association. For instance, he associates Gadamer with Werner Jaeger, with whom he disagreed and had little contact. Finally,he misinterprets basic terms in Gadamer's hermeneutics, Vorurteil and authority, attributing to them the popular sense of these terms instead of their place in Gadamer's hermeneutics. Vorurteil , popularly translated as 'prejudice', but better rendered as 'prejudgment', refers to the prior knowledge that one needs in order to understand a situation or a text. In some cases, this is part of the inherited tradition. Authority refers to the respect one pays to those one recognizes as having more knowledge than oneself: one's doctor, or parent, or teacher, a judge, or certain texts. It is not an abject surrender to all authority but the necessary respect for authority in human relationships and in society in general. By misconstruing these terms, Wolin attempts to discredit Gadamer's general philosophy,not just to demonstrate a connection to the Nazis. At the end, his argument turns into a misinformed general political attack on Gadamer as an enemy of Enlightenment values. (shrink)

This classic, first published in 1969, introduces to English-speaking readers a field which is of increasing importance in contemporary philosophy and theology--hermeneutics, the theory of understanding, or interpretation. Richard E. Palmer, utilizing largely untranslated sources, treats principally of the conception of hermeneutics enunciated by Heidegger and developed into a "philosophical hermeneutics" by Hans-Georg Gadamer. He provides a brief overview of the field by surveying some half-dozen alternate definitions of the term and by examining in detail the contributions of Friedrich (...) Schleiermacher and Wilhelm Dilthey. In the Manifesto which concludes the book, Palmer suggests the potential significance of hermeneutics for literary interpretation. (shrink)

It has been about fifty years since the topic of divine impassibility was the subject of book-length philosophical treatments in English. In recent years process and analytic philosophers have returned this issue to the forefront of professional attention. Divine Impassibility traces the issue of classical sources, relates the positions of nineteenth- and early twentieth-century books, and surveys the writings of contemporary British analytic philosophers such as Peter Geach, Anthony Kenny, Richard Swinburne, John Hick, and H. P. Owen, American analytic (...) philosophers such as Norman Kretzmann, Eleonore Stump, Nelson Pike, Robert Adams, and Bruce Reichenbach, and process philosophers such as Charles Hartshorne and Lewis Ford. The author shows that clear, adequate analysis of the issue must distinguish four respects in which God might be passible or impassible: nature, will, knowledge, and feeling. He shows also how decisions on this topic bear on numerous others in philosophical theology such as creation, eternality, evil, and human freedom. His creative proposals on these and other topics attempt to go beyond the difficulties of both classical and process conceptions of God. (shrink)

A few years ago I ran across a statement by Jean-Paul Sartre which seemed to imply that if there is a God, then there can be no human freedom. That thesis struck me as questionable, but at the time I did not pause to examine it. More recently I ran across a similar, more explicit statement by Kurt Baier, and I decided the time to pause had come. My knee-jerk response to Baier – and I confess it was probably nothing (...) more – was, ‘Why can't there be human freedom if there is a God? Indeed, can there be human freedom if there isn't a God ?’ The second of these questions has proved to be the more provocative to me, for the more I have thought about it, the more it has seemed to me that it is the atheist and not the theist who should be on the defensive about libertarianism, i.e. the position that human beings do act, that human actions are not determined, that we are the sole cause of our actions, and that all things remaining the same, we could have done otherwise. Indeed, the more I thought about that question – Can there be human freedom if there is no God? – the more convinced I became that the atheist has no good reason for believing in libertarianism. Note: I am not saying that atheism is logically incompatible with libertarianism. Perhaps it is, but if it is, that is not yet obvious to me. Rather, I am saying that an atheist who believes in libertarianism must believe in it on the basis of faith and must hold this faith in opposition to the only type of evidence that is available to him. Hence, by denying the existence of God, Baier and Sartre do not make room for human freedom; they make belief in human freedom irrational. By contrast, I shall argue, the theist does have a good reason for believing that humans are free. Let's take separate looks at Baier and Sartre; then I shall summarize the substance of my position. (shrink)

While reflecting one day on the enormous difficulties that men have in knowing that there is a God, a completely unexpected and unfamiliar question drifted into my purview – perhaps as a kind of ultimate expression of my philosophical frustration. ‘Indeed’, the question asked, ‘can even God know that he is God?’ At first I thought this query merely amusing. ‘Wouldn't it be funny if God cannot know that he is God! But of course he can.’ So my mind wandered (...) on to other things. The question did not leave me alone, though. It insisted that I take it seriously, and the more I did, the more legitimate, complex, and significant it came to seem - and still does. (shrink)

The German volume Gadamer Lesebuch [A Gadamer Reader], selected and edited by Jean Grondin in consultation with Hans-Georg Gadamer himself, contains a set of essays that present a cross section of writings by one of the twentieth century's greatest philosophers. The volume begins with an autobiographical sketch and culminates in a conversation with Jean Grondin that looks back over a lifetime of productive philosophical work. The essays not already available in English have here been translated by Richard E. Palmer, (...) a respected translator of Gadamer's writings. The sixteen essays contained in the Lesebuch are augmented here by three other essays: Gadamer's last essay on Derrida, "Hermeneutics Tracking the Trace" and two essays on practical philosophy. The Gadamer Reader: A Bouquet of the Later Writings richly conveys the scope and depth of Gadamer's thought, covering the range of his work in hermeneutics, aesthetics, practical philosophy, and essays on Plato, Hegel, and Heidegger. In addition, Palmer offers introductory remarks before each essay that explain its importance in the context of Gadamer's writings and define its key terms. Throughout, in both his translation and commentary, his aim is to make this critically important philosopher as clear and accessible as possible to an English-speaking audience. (shrink)

128 female Ss were asked to make 4 judgments about a young woman after reading her "job application portfolio." Five characteristics of the young woman were manipulated orthogonally. Ss were asked to report how each of the 5 manipulated factors had influenced each of their judgments. "Observer Ss," who had access only to very impoverished descriptions of each of the 5 factors, were asked to predict how each of the factors would influence each of the judgments. Results show that S (...) reports about the effects of the factors on the judgments were in general highly inaccurate; observer predictions were extremely similar to S reports; for the single judgment for which Ss showed substantial accuracy, observer predictions were as accurate as S reports. Results indicate that whatever introspective access to cognitive processes may exist, it is not sufficient to produce generally accurate reports about such processes, nor even to produce reports that differ much from those of poorly informed outside observers. (shrink)

The fitness of any evolutionary unit can be understood in terms of its two basic components: fecundity (reproduction) and viability (survival). Trade-offs between these fitness components drive the evolution of life-history traits in extant multicellular organisms. We argue that these trade-offs gain special significance during the transition from unicellular to multicellular life. In particular, the evolution of germ–soma specialization and the emergence of individuality at the cell group (or organism) level are also consequences of trade-offs between the two basic fitness (...) components, or so we argue using a multilevel selection approach. During the origin of multicellularity, we study how the group trade-offs between viability and fecundity are initially determined by the cell level trade-offs, but as the transition proceeds, the fitness trade-offs at the group level depart from those at the cell level. We predict that these trade-offs begin with concave curvature in single-celled organisms but become increasingly convex as group size increases in multicellular organisms. We argue that the increasingly convex curvature of the trade-off function is driven by the cost of reproduction which increases as group size increases. We consider aspects of the biology of the volvocine green algae – which contain both unicellular and multicellular members – to illustrate the principles and conclusions discussed. (shrink)

Husserl's marginal remarks in Kant und das Problem der Metaphysik clearly do not reflect the same intense effort to penetrate Heidegger's thought that we find in his marginal notes in Sein und Zeit. Merely in terms of length, Husserl's comments in the published German text occupy only one-third the number of pages.2 Pages 1-5, 43-121, and 125-1673 contain no reading marks at all-over half of the 236 pages of KPM. This suggests that Husserl either read these pages with no intention (...) of returning to the text or skipped large parts of the middle of the text altogether.4 His remarks often express frustration or a resigned recognition of the now unbridgeable, irrevocable gap between himself and Heidegger. (shrink)

Taking an innovative look at the origins of economics, this forward-thinking book relocates economics from a materialistic general theory of rational action into an idealistic theory of social organization and individual action. Adding new insightful analytical methods such as complexity theory, graph theory and computational modelling to the original insights of the Scottish Enlightenment, Richard Wagner explores economics in an ever-changing society, looking at the key civilizing processes and the important social questions. Rethinking Economics as Social Theory moves away (...) from the traditional review of analytical exercises and associated data and illustrates an enlightening scheme of thought where human societies are heterogeneous and not homogeneous and where change is continually in motion. Furthermore, Wagner theorises that economizing is a universal form of human action that plays out in numerous substantive directions and shows cooperation and conflict to have a yin-and-yang relationship. This illuminating book will prove an excellent resource for economists interested in working outside of comparative statics as well as social scientists looking for a broader vision of economics. Philosophers and those working in the field of biological sciences will also find this an informative read. (shrink)

As its subtitle 'Skepticism, Individuality and Chastened Politics' indicates, this book is an exploration of and a largely favorable engagement with salient elements in the thinking of a theorist who is widely regarded as the greatest Anglophone political thinker and among the top rank of philosophical writers generally. In emphazing Hobbes's skepticism, Richard Flathman goes against the grain of much of the literature concerning Hobbes. The theme of individuality is more familiar, particularly from the celebrated writings on Hobbes by (...) Michael Oakeshott, but the idea of a chastened politics challenges the widely influential view that Hobbes was not only an authoritarian but an incipient or proto-totalitarian. (shrink)

Economists commit a category mistake when they treat democratic governments as indebted. Monarchs can be indebted, as can individuals. In contrast, democracies can't truly be indebted. They are financial intermediaries that form a bridge between what are often willing borrowers and forced lenders. The language of public debt is an ideological language that promotes politically expressed desires and is not a scientific language that clarifies the practice of public finance. Economists have gone astray by assuming that a government is just (...) another person whose impulses toward prudent action will restrict recourse to public debt and induce rational political action. (shrink)

This essay introduces a collection of 49 essays that exemplify the breadth and the depth of James M. Buchanan’sBuchanan, James M. contributions to economics in the post-war period. Buchanan started his career in 1948 as someone who wanted to provide a different scholarly framework for a theory of public finance and managed to do so. What resulted was a scholarly output that was published in 20 volumes in 2002, to which he continued to add until his death. The essays in (...) this volume reflect the breadth and depth of Buchanan’s contributions to political economy and social philosophy. While these essays are written by people who admired and learned from Buchanan’s work, these are not essays in hagiography. They explore various questions and topics that interested Buchanan. A good number of these explorations have critical overtones, but most significantly they build upon lines of inquiry that animated Buchanan’s scholarly curiosity. (shrink)